control c();
package p(c _c);
package q(p _p);

control empty() {
    apply {}
}

q(p(empty())) main;
